CH and first countable , countably compact spaces ✩
نویسنده
چکیده
We show that it is consistent with the Continuum Hypothesis that first countable, countably compact spaces with no uncountable free sequences are compact. As a consequence, we get that CH does not imply the existence of a perfectly normal, countably compact, non-compact space, answering a question of Nyikos (Question 287 in the numbering of van Mill and Reed, Open Problems in Topology, Elsevier, Amsterdam, 1990, p. 127). 2001 Elsevier Science B.V. All rights reserved.
منابع مشابه
First Countable, Countably Compact Spaces and the Continuum Hypothesis
We build a model of ZFC+CH in which every first countable, countably compact space is either compact or contains a homeomorphic copy of ω1 with the order topology. The majority of the paper consists of developing forcing technology that allows us to conclude that our iteration adds no reals. Our results generalize Saharon Shelah’s iteration theorems appearing in Chapters V and VIII of Proper an...
متن کاملCountable S*-compactness in L-spaces
In this paper, the notions of countable S∗-compactness is introduced in L-topological spaces based on the notion of S∗-compactness. An S∗-compact L-set is countably S∗-compact. If L = [0, 1], then countable strong compactness implies countable S∗-compactness and countable S∗-compactness implies countable F-compactness, but each inverse is not true. The intersection of a countably S∗-compact L-s...
متن کاملO ct 1 99 9 SPACES HAVING A SMALL DIAGONAL
We obtain several results and examples concerning the general question “When must a space with a small diagonal have a Gδ-diagonal?”. In particular, we show (1) every compact metrizably fibered space with a small diagonal is metrizable; (2) there are consistent examples of regular Lindelöf (even hereditarily Lindelöf) spaces with a small diagonal but no Gδ-diagonal; (3) every first-countable he...
متن کاملCOUNTABLE COMPACTNESS AND THE LINDEL¨OF PROPERTY OF L-FUZZY SETS
In this paper, countable compactness and the Lindel¨of propertyare defined for L-fuzzy sets, where L is a complete de Morgan algebra. Theydon’t rely on the structure of the basis lattice L and no distributivity is requiredin L. A fuzzy compact L-set is countably compact and has the Lindel¨ofproperty. An L-set having the Lindel¨of property is countably compact if andonly if it is fuzzy compact. ...
متن کاملCountably I-compact Spaces
We introduce the class of countably I-compact spaces as a proper subclass of countably S-closed spaces. A topological space (X,T) is called countably I-compact if every countable cover of X by regular closed subsets contains a finite subfamily whose interiors cover X. It is shown that a space is countably I-compact if and only if it is extremally disconnected and countably S-closed. Other chara...
متن کامل